From aaa4b9f2f36d8857d0ce1f997b020a55fbd76c0b Mon Sep 17 00:00:00 2001 From: "iap10@labyrinth.cl.cam.ac.uk" Date: Fri, 21 Jan 2005 23:28:01 +0000 Subject: [PATCH] bitkeeper revision 1.1159.225.1 (41f19001RQR4BW0TNzYlpfwik2LIFg) Documentation fix. --- docs/src/user.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/user.tex b/docs/src/user.tex index 3b9d3773ca..a50300327c 100644 --- a/docs/src/user.tex +++ b/docs/src/user.tex @@ -1770,7 +1770,7 @@ editing \path{grub.conf}. possibilities are `bvt' (default), `atropos' and `rrobin'. For more information see Section~\ref{s:sched}. -\item [pci\_dom0\_hide=(xx.xx.x)(yy.yy.y)\ldots ] +\item [physdev\_dom0\_hide=(xx:xx.x)(yy:yy.y)\ldots ] Hide selected PCI devices from domain 0 (for instance, to stop it taking ownership of them so that they can be driven by another domain). Device IDs should be given in hex format. Bridge devices do -- 2.30.2